<?php

session_name('ws_session');
session_start();

// unset session variables
$_SESSION = Array();

// remove session cookie
if (isset($_COOKIE[session_name()])) {
	setcookie(session_name(), '', time()-42000, '/');
}

session_destroy();

// remove login cookie
if (isset($_COOKIE['ws_auth'])) {
	setcookie('ws_auth', '', time()-(24*60*60));
}

header("Location: ");

?>


